On Solutions of Linear Functional Systems and Factorization of Laurent-Ore Modules
نویسندگان
چکیده
We summarize some recent results on partial linear functional systems. By associating a finite-dimensional linear functional system to a Laurent-Ore module, Picard-Vessiot extensions are generalized from linear ordinary differential (difference) equations to finite-dimensional linear functional systems. A generalized Beke’s method is also presented for factoring Laurent-Ore modules and it will allow us to find all “subsystems”whose solution spaces are contained in that of a given linear functional system.
منابع مشابه
Transforming linear functional systems into fully integrable systems
A linear (partial) functional system consists of linear partial differential, difference equations or any mixture thereof. We present an algorithm that determines whether linear functional systems are ∂-finite, and transforms ∂-finite systems to fully integrable ones. The algorithm avoids using Gröbner bases in Laurent–Ore modules when ∂-finite systems correspond to finitedimensional Ore module...
متن کاملHyperexponential Solutions of Finite-rank Ideals in Orthogonal Ore Algebras (the General Case)
An orthogonal Ore algebra is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore algebras, we present an algorithm for finding hyperexponential solutions of a system of linear differential, shift and q-shift operators, or any mixture thereof, whose solution space is finite-dimensional. The algorithm is applicable to factoring mod...
متن کاملFactoring Finite-rank Linear Functional Systems∗
By a finite-rank (linear functional) system, we mean a system of linear differential, shift and q-shift operators or, any mixture thereof, whose solution space is finite-dimensional. This poster attempts to develop an algorithm for factoring finite-rank systems into “subsystems” whose solution spaces are of lower dimension. This work consists of three parts: 1. using module-theoretic language t...
متن کاملUsing morphism computations for factoring and decomposing general linear functional systems
Within a constructive homological algebra approach, we study the factorization and decomposition problems for general linear functional systems and, in particular, for multidimensional linear systems appearing in control theory. Using the concept of Ore algebras of functional operators (e.g., ordinary/partial differential operators, shift operators, time-delay operators), we first concentrate o...
متن کاملFactoring and decomposing a class of linear functional systems
Within a constructive homological algebra approach, we study the factorization and decomposition problems for a class of linear functional (determined, over-determined, under-determined) systems. Using the concept of Ore algebras of functional operators (e.g., ordinary/partial differential operators, shift operators, time-delay operators), we first concentrate on the computation of morphisms fr...
متن کامل